Skip to content

Comments

ci: generate from api 0.19.715#197

Merged
nuonbot merged 1 commit intomainfrom
nuonbot/generate-from-api-0.19.715
Dec 10, 2025
Merged

ci: generate from api 0.19.715#197
nuonbot merged 1 commit intomainfrom
nuonbot/generate-from-api-0.19.715

Conversation

@nuonbot
Copy link
Contributor

@nuonbot nuonbot commented Dec 10, 2025

ci: generate from api 0.19.715

@nuonbot nuonbot added the auto-merge Automatically merge this PR if it passes all PR checks. label Dec 10, 2025
@nuonbot nuonbot enabled auto-merge (squash) December 10, 2025 22:15
@nuonbot nuonbot merged commit e405d30 into main Dec 10, 2025
5 checks passed
@nuonbot nuonbot deleted the nuonbot/generate-from-api-0.19.715 branch December 10, 2025 22:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

auto-merge Automatically merge this PR if it passes all PR checks.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant